AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS

Source URL: www.avacs.org

• European Rail Traffic Management System
• Logic in computer science
• Applied mathematics
• European Train Control System
• Predicate logic
• Formal methods
• First-order logic
• Formal verification
• Control theory
• Train protection systems
• Logic
• Mathematical logic

European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University

Source URL: www.symbolaris.com

• Applied mathematics
• Differential equations
• European Rail Traffic Management System
• European Train Control System
• Mathematics
• Structure
• Formal verification
• Hybrid system
• Verification
• Systems theory
• Train protection systems
• Formal methods

European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA

Source URL: www.symbolaris.com

• European Rail Traffic Management System
• Rail transport
• European Train Control System
• Control theory
• High-speed rail
• Automatic Train Protection
• Train protection systems
• Land transport
• Transport

METHOD & TOOLS TO SECURE AND SUPPORT COLLABORATIVE ARCHITECTING OF CONSTRAINED SYSTEMS Jean-Luc Voirin Thales Aerospace Keywords: architecture modelling method early validation

Source URL: www.icas.org

• Software development
• View model
• Requirement
• Systems architect
• Function model
• Verification and validation
• Product lifecycle management
• Functional requirement
• Department of Defense Architecture Framework
• Systems engineering
• Systems science
• Systems theory

Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers Matthias Althoff, Daniel Althoff, Dirk Wollherr and Martin Buss Abstract— The verification of evasive maneuvers for autonomous vehicles drivi

Source URL: www6.in.tum.de

Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models Matthias Althoff and John M. Dolan Abstract— We present an approach to verify the planned maneuvers of an autom

Source URL: www6.in.tum.de

• Applied mathematics
• Constructible universe
• FO
• Differential equation
• Matrix exponential
• Science
• Control theory
• Mathematics
• State space

PLMMS Preface This volume contains the papers presented at PLMMS-2013: 5th International Workshop on Programming Languages for Mechanised Mathematical Systems 2013 held on July 9, 2013 in Bath. There were 3 submissions.

Source URL: ceur-ws.org

• Type theory
• Functional languages
• Logic in computer science
• Formal methods
• Theory of computation
• Dependent type
• Agda
• Formal verification
• Typed lambda calculus
• Programming language theory
• Theoretical computer science
• Software engineering

Set-Based Computation of Vehicle Behaviors for the Online Verification of Autonomous Vehicles Matthias Althoff and John M. Dolan Abstract— We compute the set of all possible behaviors of an autonomous vehicle using rea

Source URL: www6.in.tum.de

• Differential equation
• Science
• Systems science
• Systems theory
• Control theory
• Cybernetics
• Dynamical system

European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA

Source URL: symbolaris.com

• European Rail Traffic Management System
• Rail transport
• European Train Control System
• Control theory
• High-speed rail
• Automatic Train Protection
• Train protection systems
• Land transport
• Transport

VERIFICATION OF ALGEBRA STEP PROBLEMS: A CHRONOMETRIC STUDY OF HUMAN PROBLEM SOLVING by Paul G. Matthews and Richard C. Atkinson

Source URL: suppes-corpus.stanford.edu

• Mathematics
• Computational complexity theory
• Algorithm
• Problem solving
• P
• Computer science
• Applied mathematics
• Mathematical logic
• Educational psychology